Language and Computation - PDFSEARCH.IO - Document Search Engine

Language and Computation
Results: 343

#	Item
321	The Conception, Evolution, and Application of Functional Programming Languages Paul Hudak Add to Reading List Source URL: haskell.cs.yale.edu Language: English - Date: 2011-12-16 15:59:04 Lambda calculus Logic in computer science Models of computation Functional languages Combinatory logic Functional programming Curry ISWIM Denotational semantics Software engineering Computing Programming language theory
322	E. Y. Bann and J. J. Bryson Proceedings of the 13th Neural Computation and Psychology Workshop (NCPW13), July 2012 Add to Reading List Source URL: aeir.co.uk Language: English - Date: 2013-09-06 13:17:37 Natural language processing Feeling Affect Emotion Latent semantic analysis Document-term matrix Semantic similarity Search engine indexing Vector space model Information science Information retrieval Science
323	GROUP THEORETIC DESCRIPTION OF JUST INTONATION Aline Honingh Institute for Logic, Language and Computation Add to Reading List Source URL: www.soi.city.ac.uk Language: English - Date: 2003-12-18 08:23:26 Intervals Musical scales Harmony Musical tuning Greek music Just intonation Diatonic and chromatic Pitch class Limit Music Pitch Sound
324	Association for Symbolic Logic Business Office: Box 742, Vassar College 124 Raymond Avenue, Poughkeepsie, New York 12604, USA Add to Reading List Source URL: www.aslonline.org Language: English - Date: 2011-04-18 09:16:27 Non-classical logic American Sign Language Association for Symbolic Logic Workshop on Logic Language Information and Computation Computability theory Modal logic Greg Hjorth Mereology Logic programming Logic Mathematical logic Philosophical logic
325	Coeffects: Unified static analysis of context-dependence Tomas Petricek, Dominic Orchard and Alan Mycroft University of Cambridge, UK Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2013-04-30 05:07:23 Adjoint functors Logic in computer science Programming language semantics Lambda calculus Models of computation Monad Simply typed lambda calculus Function Entailment Logic Mathematics Theoretical computer science
326	Information and Computation 163, [removed]doi:[removed]Âinco[removed], available online at http:ÂÂwww.idealibrary.com on Add to Reading List Source URL: www.mimuw.edu.pl Language: English - Date: 2006-02-19 18:16:34 Logic in computer science Lambda calculus Type theory Models of computation Programming language semantics Denotational semantics Simply typed lambda calculus Typed lambda calculus Combinatory logic Theoretical computer science Mathematics Mathematical logic
327	LISP AND SYMBOLIC COMPUTATION: An International Journal, 5:4, 295–326, 1992 c 1992 Kluwer Academic Publishers – Manufactured in The Netherlands Add to Reading List Source URL: www.cs.indiana.edu Language: English - Date: 2004-05-14 16:07:36 Transformation languages Programming language implementation Procedural programming languages Source code Cross-platform software Hygienic macro Macro Scheme Preprocessor Software engineering Computing Computer programming
328	The Two Dualities of Computation: Negative and Fractional Types Roshan P. James Add to Reading List Source URL: www.cs.indiana.edu Language: English - Date: 2012-03-18 23:17:11 APL programming language family J Linear logic Potentially all pairwise rankings of all possible alternatives Software engineering Computer programming Computing
329	F Finite State Automata A ﬁnite automaton (FA, also called a ﬁnite-state automaton or a ﬁnite-state machine) is a mathematical tool used to describe processes involving inputs and outputs. An FA can be in one of several states and can switch between states depending Add to Reading List Source URL: www.davidsalomon.name Language: English - Date: 2004-09-09 19:53:48 Theoretical computer science Mathematics Combinatorics on words Models of computation Finite-state machine Theory of computation Regular expression Alphabet Regular language Automata theory Formal languages Combinatorics
330	Elaborating Intersection and Union Types Joshua Dunfield Max Planck Institute for Software Systems Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2012-06-25 20:34:16 Logic in computer science Type theory Lambda calculus Proof theory Combinatory logic Models of computation Standard ML Curry–Howard correspondence Type system Theoretical computer science Mathematics Programming language theory

UPDATE